Dec 01 20:22:43.941 INFO testing danielschemmel/drsat against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 01 20:22:43.941 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 01 20:22:44.387 INFO [stdout] e7221c7c533b073cb263b3aa7874adcaf44c17f61ebfc4c246f47b9d8021ef90
Dec 01 20:22:44.395 INFO running `"docker" "start" "-a" "e7221c7c533b073cb263b3aa7874adcaf44c17f61ebfc4c246f47b9d8021ef90"`
Dec 01 20:22:46.007 INFO [stderr] usermod: no changes
Dec 01 20:22:46.259 INFO [stderr]    Compiling cmake v0.1.33
Dec 01 20:22:46.259 INFO [stderr]    Compiling miniz-sys v0.1.10
Dec 01 20:22:46.259 INFO [stderr]    Compiling openssl-sys v0.9.35
Dec 01 20:22:46.272 INFO [stderr]    Compiling curl-sys v0.4.8
Dec 01 20:22:46.287 INFO [stderr]    Compiling lzma-sys v0.1.10
Dec 01 20:22:46.291 INFO [stderr]    Compiling error-chain v0.12.0
Dec 01 20:22:51.228 INFO [stderr]    Compiling libssh2-sys v0.2.10
Dec 01 20:22:52.820 INFO [stderr]    Compiling libgit2-sys v0.7.7
Dec 01 20:22:55.485 INFO [stderr]    Compiling xz2 v0.1.5
Dec 01 20:22:56.327 INFO [stderr]    Compiling flate2 v1.0.2
Dec 01 20:23:40.155 INFO [stderr]    Compiling git2 v0.7.5
Dec 01 20:23:49.471 INFO [stderr]    Compiling drsat v0.1.0 (/source)
Dec 01 20:23:54.611 INFO [stderr] warning: variable does not need to be mutable
Dec 01 20:23:54.611 INFO [stderr]  --> src/cnf/problem/precompute.rs:6:19
Dec 01 20:23:54.611 INFO [stderr]   |
Dec 01 20:23:54.611 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Dec 01 20:23:54.611 INFO [stderr]   |                   ----^^^^^^^^^
Dec 01 20:23:54.611 INFO [stderr]   |                   |
Dec 01 20:23:54.611 INFO [stderr]   |                   help: remove this `mut`
Dec 01 20:23:54.611 INFO [stderr]   |
Dec 01 20:23:54.611 INFO [stderr]   = note: #[warn(unused_mut)] on by default
Dec 01 20:23:54.611 INFO [stderr] 
Dec 01 20:23:54.611 INFO [stderr] warning: variable does not need to be mutable
Dec 01 20:23:54.611 INFO [stderr]  --> src/cnf/problem/precompute.rs:6:73
Dec 01 20:23:54.611 INFO [stderr]   |
Dec 01 20:23:54.611 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Dec 01 20:23:54.611 INFO [stderr]   |                                                                         ----^^^^^^^
Dec 01 20:23:54.611 INFO [stderr]   |                                                                         |
Dec 01 20:23:54.611 INFO [stderr]   |                                                                         help: remove this `mut`
Dec 01 20:23:54.611 INFO [stderr] 
Dec 01 20:24:02.945 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 16s
Dec 01 20:24:02.966 INFO [stderr] su: No module specific data is present
Dec 01 20:24:03.687 INFO running `"docker" "inspect" "e7221c7c533b073cb263b3aa7874adcaf44c17f61ebfc4c246f47b9d8021ef90"`
Dec 01 20:24:04.019 INFO running `"docker" "rm" "-f" "e7221c7c533b073cb263b3aa7874adcaf44c17f61ebfc4c246f47b9d8021ef90"`
Dec 01 20:24:04.335 INFO [stdout] e7221c7c533b073cb263b3aa7874adcaf44c17f61ebfc4c246f47b9d8021ef90
Dec 01 20:24:04.341 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 01 20:24:04.679 INFO [stdout] 728a248c7d9040583f4590309118c68548c1fa4c781568658a2f7a1cffb70798
Dec 01 20:24:04.684 INFO running `"docker" "start" "-a" "728a248c7d9040583f4590309118c68548c1fa4c781568658a2f7a1cffb70798"`
Dec 01 20:24:05.950 INFO [stderr] usermod: no changes
Dec 01 20:24:06.087 INFO [stderr]    Compiling drsat v0.1.0 (/source)
Dec 01 20:24:10.503 INFO [stderr] warning: variable does not need to be mutable
Dec 01 20:24:10.503 INFO [stderr]  --> src/cnf/problem/precompute.rs:6:19
Dec 01 20:24:10.503 INFO [stderr]   |
Dec 01 20:24:10.503 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Dec 01 20:24:10.503 INFO [stderr]   |                   ----^^^^^^^^^
Dec 01 20:24:10.503 INFO [stderr]   |                   |
Dec 01 20:24:10.503 INFO [stderr]   |                   help: remove this `mut`
Dec 01 20:24:10.503 INFO [stderr]   |
Dec 01 20:24:10.503 INFO [stderr]   = note: #[warn(unused_mut)] on by default
Dec 01 20:24:10.503 INFO [stderr] 
Dec 01 20:24:10.503 INFO [stderr] warning: variable does not need to be mutable
Dec 01 20:24:10.503 INFO [stderr]  --> src/cnf/problem/precompute.rs:6:73
Dec 01 20:24:10.503 INFO [stderr]   |
Dec 01 20:24:10.503 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Dec 01 20:24:10.503 INFO [stderr]   |                                                                         ----^^^^^^^
Dec 01 20:24:10.503 INFO [stderr]   |                                                                         |
Dec 01 20:24:10.503 INFO [stderr]   |                                                                         help: remove this `mut`
Dec 01 20:24:10.503 INFO [stderr] 
Dec 01 20:24:14.019 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 8.03s
Dec 01 20:24:14.031 INFO [stderr] su: No module specific data is present
Dec 01 20:24:14.368 INFO running `"docker" "inspect" "728a248c7d9040583f4590309118c68548c1fa4c781568658a2f7a1cffb70798"`
Dec 01 20:24:14.476 INFO running `"docker" "rm" "-f" "728a248c7d9040583f4590309118c68548c1fa4c781568658a2f7a1cffb70798"`
Dec 01 20:24:14.561 INFO [stdout] 728a248c7d9040583f4590309118c68548c1fa4c781568658a2f7a1cffb70798
Dec 01 20:24:14.563 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 01 20:24:14.803 INFO [stdout] 858dab9d2a20ea2c1c4eb494009327ce7b9bdd9dfe3cab2c052fa66e214938fd
Dec 01 20:24:14.805 INFO running `"docker" "start" "-a" "858dab9d2a20ea2c1c4eb494009327ce7b9bdd9dfe3cab2c052fa66e214938fd"`
Dec 01 20:24:15.395 INFO [stderr] usermod: no changes
Dec 01 20:24:15.519 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.10s
Dec 01 20:24:15.535 INFO [stderr]      Running /target/debug/deps/libdrsat-6f51cfb9f80c4fe5
Dec 01 20:24:15.540 INFO [stdout] 
Dec 01 20:24:15.541 INFO [stdout] running 43 tests
Dec 01 20:24:15.542 INFO [stdout] test cnf::literal::tests::literal_order1 ... ok
Dec 01 20:24:15.542 INFO [stdout] test cnf::literal::tests::literal_order2 ... ok
Dec 01 20:24:15.542 INFO [stdout] test cnf::literal::tests::literal_test1 ... ok
Dec 01 20:24:15.542 INFO [stdout] test cnf::literal::tests::literal_test2 ... ok
Dec 01 20:24:15.548 INFO [stdout] test cnf::tests::sat1 ... ok
Dec 01 20:24:15.548 INFO [stdout] test cnf::tests::sat2 ... ok
Dec 01 20:24:15.548 INFO [stdout] test cnf::tests::unsat1 ... ok
Dec 01 20:24:15.548 INFO [stdout] test cnf::tests::unsat2 ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::invalid1 ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::invalid1_deduced ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::invalid2_deduced ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::simple1 ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::invalid3_deduced ... ok
Dec 01 20:24:15.548 INFO [stdout] test sudoku::tests::simple2 ... ok
Dec 01 20:24:15.563 INFO [stdout] test sudoku::tests::simple3 ... ok
Dec 01 20:24:15.563 INFO [stdout] test sudoku::tests::simple4 ... ok
Dec 01 20:24:15.563 INFO [stdout] test cnf::tests::sat3 ... ok
Dec 01 20:24:15.574 INFO [stdout] test cnf::tests::sat4 ... ok
Dec 01 20:24:15.584 INFO [stdout] test util::stopwatch::tests::test_format_duration_1 ... ok
Dec 01 20:24:15.584 INFO [stdout] test util::stopwatch::tests::test_format_duration_10 ... ok
Dec 01 20:24:15.591 INFO [stdout] test sudoku::tests::simple4_deduced ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_11 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_17 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_14 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_15 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_18 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_19 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_2 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_20 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_21 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_22 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_3 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_4 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_5 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_6 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_7 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_8 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_9 ... ok
Dec 01 20:24:15.591 INFO [stdout] test util::stopwatch::tests::test_format_duration_12 ... ok
Dec 01 20:24:15.591 INFO [stdout] test sudoku::tests::invalid3 ... ok
Dec 01 20:24:15.601 INFO [stdout] test util::stopwatch::tests::test_format_duration_16 ... ok
Dec 01 20:24:15.603 INFO [stdout] test util::stopwatch::tests::test_format_duration_13 ... ok
Dec 01 20:24:22.875 INFO [stdout] test sudoku::tests::invalid2 ... ok
Dec 01 20:24:22.875 INFO [stdout] 
Dec 01 20:24:22.875 INFO [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.875 INFO [stdout] 
Dec 01 20:24:22.879 INFO [stderr]      Running /target/debug/deps/comp-f4f6d33fc9e782fa
Dec 01 20:24:22.883 INFO [stdout] 
Dec 01 20:24:22.883 INFO [stdout] running 0 tests
Dec 01 20:24:22.883 INFO [stdout] 
Dec 01 20:24:22.883 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.883 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stderr]      Running /target/debug/deps/dimacs-66ffcf605302b49e
Dec 01 20:24:22.891 INFO [stderr]      Running /target/debug/deps/drsat-4ba030fce11dc8c8
Dec 01 20:24:22.891 INFO [stderr]      Running /target/debug/deps/npn-53a67923d6e4c2be
Dec 01 20:24:22.891 INFO [stderr]      Running /target/debug/deps/sudoku-5ab6942dca1b8fad
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] running 0 tests
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] running 0 tests
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] running 0 tests
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.891 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.891 INFO [stdout] 
Dec 01 20:24:22.907 INFO [stdout] 
Dec 01 20:24:22.907 INFO [stdout] running 0 tests
Dec 01 20:24:22.907 INFO [stdout] 
Dec 01 20:24:22.907 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:22.907 INFO [stdout] 
Dec 01 20:24:22.907 INFO [stderr]    Doc-tests libdrsat
Dec 01 20:24:24.891 INFO [stdout] 
Dec 01 20:24:24.891 INFO [stdout] running 0 tests
Dec 01 20:24:24.891 INFO [stdout] 
Dec 01 20:24:24.891 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 01 20:24:24.891 INFO [stdout] 
Dec 01 20:24:24.902 INFO [stderr] su: No module specific data is present
Dec 01 20:24:26.269 INFO running `"docker" "inspect" "858dab9d2a20ea2c1c4eb494009327ce7b9bdd9dfe3cab2c052fa66e214938fd"`
Dec 01 20:24:26.637 INFO running `"docker" "rm" "-f" "858dab9d2a20ea2c1c4eb494009327ce7b9bdd9dfe3cab2c052fa66e214938fd"`
Dec 01 20:24:26.959 INFO [stdout] 858dab9d2a20ea2c1c4eb494009327ce7b9bdd9dfe3cab2c052fa66e214938fd
